大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Hermann August 的图书(共1123本)

Formal Approaches to Software Testing and Runtime Verification [electronic resource] : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

0
索取号：
作者：Havelund、 Klaus.、N煤帽ez、 Manuel.、Ro艧u、 Grigore.、Wolff、 Burkhart.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

0
索取号：
作者：Hermann、 Miki.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Web Mining and Web Usage Analysis [electronic resource] : 6th International Workshop on Knowledge Discovery on the Web, WebKDD 2004, Seattle, WA, USA, August 22-25, 2004, Revised Selected Papers

0
索取号：
作者：Mobasher、 Bamshad.、Nasraoui、 Olfa.、Liu、 Bing.、Masand、 Brij.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Pedestrian and Evacuation Dynamics 2005 [electronic resource]

0
索取号：
作者：Waldau、 Nathalie.、Gattermann、 Peter.、Knoflacher、 Hermann.、Schreckenberg、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Web Mining and Web Usage Analysis [electronic resource] : 7th International Workshop on Knowledge Discovery on the Web, WebKDD 2005, Chicago, IL, USA, August 21, 2005. Revised Papers

0
索取号：
作者：Nasraoui、 Olfa.、Za茂ane、 Osmar.、Spiliopoulou、 Myra.、Mobasher、 Bamshad.、Masand、 Brij.、Yu、 Philip S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Brain Dynamics [electronic resource] : Synchronization and Activity Patterns in Pulse-Coupled Neural Nets with Delays and Noise

0
索取号：
作者：Haken、 Hermann.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Agent-Mediated Electronic Commerce. Designing Trading Agents and Mechanisms [electronic resource] : AAMAS 2005 Workshop, AMEC 2005, Utrecht, Netherlands, July 25, 2005, and IJCAI 2005 Workshop, TADA 2005, Edinburgh, UK, August 1, 2005, Selected and Revised Papers

0
索取号：
作者：Poutr茅、 Han.、Sadeh、 Norman M.、Janson、 Sverker.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Motivic Homotopy Theory [electronic resource] : Lectures at a Summer School in Nordfjordeid, Norway, August 2002

0
索取号：
作者：Dundas、 Bj酶rn Ian.、Levine、 Marc.、脴stv忙r、 Paul Arne.、R枚ndigs、 Oliver.、Voevodsky、 Vladimir.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Information Security [electronic resource] : 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006. Proceedings

0
索取号：
作者：Katsikas、 Sokratis K.、L贸pez、 Javier.、Backes、 Michael.、Gritzalis、 Stefanos.、Preneel、 Bart.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30 2006. Proceedings

0
索取号：
作者：D铆az、 Josep.、Jansen、 Klaus.、Rolim、 Jos茅 D. P.、Zwick、 Uri.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Artificial Neural Networks in Pattern Recognition [electronic resource] : Second IAPR Workshop, ANNPR 2006, Ulm, Germany, August 31-September 2, 2006. Proceedings

0
索取号：
作者：Schwenker、 Friedhelm.、Marinai、 Simone.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Relations and Kleene Algebra in Computer Science [electronic resource] : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29鈥揝eptember 2, 2006. Proceedings

0
索取号：
作者：Schmidt、 Renate A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematical Foundations of Computer Science 2006 [electronic resource] : 31st International Symposium, MFCS 2006, Star谩 Lesn谩, Slovakia, August 28-September 1, 2006. Proceedings

0
索取号：
作者：Kr谩lovi膷、 Rastislav.、Urzyczyn、 Pawe艂.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Euro-Par 2006 Parallel Processing [electronic resource] : 12th International Euro-Par Conference, Dresden, Germany, August 28 鈥ӥptember 1, 2006. Proceedings

0
索取号：
作者：Nagel、 Wolfgang E.、Walter、 Wolfgang V.、Lehner、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Static Analysis [electronic resource] : 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings

0
索取号：
作者：Yi、 Kwangkeun.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Self-Organizing Systems [electronic resource] : First International Workshop, IWSOS 2006, and Third International Workshop on New Trends in Network Architectures and Services, EuroNGI 2006, Passau, Germany, September 18-20, 2006 Proceedings

0
索取号：
作者：Meer、 Hermann.、Sterbenz、 James P. G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.